step(al,ii,tm(zk,[ctxm(pi_,u,ip,ip_al_1,ip_al_1),ctxm(pi_,idp1,ip,ip_ii,ip_ii)],pri(zk,[ctxm(pi_,u,kM,kM_al,kM_al),pri(pk,[ctxm(pi_,u,kM,kM_al,kM_al)]),ctxm(pi_,dot,n_z_a,ss(pi_,in_z_a),ss(pi_,cn_z_a)),ctxm(pi_,dot,n_z_b,ss(pi_,in_z_b),ss(pi_,cn_z_b))]))).
